Resolution In Propositional Logic